/* $begin hello */
#include <stdio.h>
int main()
{ 
printf("hello, world!\r\n");

}

